predicate variable nghĩa là gì

Từ điển kỹ thuật

Lĩnh vực: toán & tin

• biến vị ngữ

• predicate:    ['predikit]danh từ(ngôn ngữ học) vị ngữ(triết học) điều đã được xác nhận, điều đã được khẳng địnhtính chất, thuộc tínhngoại động từxác nhận, khẳng định(từ Mỹ,nghĩa Mỹ) (+ upon) dựa vào, căn cứ vàopr
• induction predicate:    Từ điển kỹ thuậtLĩnh vực: toán & tinvị ngữ quy nạp
• insurance predicate:    Từ điển kỹ thuậttiền bảo hiểm

Câu ví dụ

It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("∀x", "∀(x)", or sometimes by "(x)" alone).
Nó thường được biểu thị bằng ký hiệu tác tử logic là chữ A viết ngược (∀), ký hiệu này, khi được sử dụng cùng với một biến vị từ, được gọi là lượng từ phổ quát (“∀x”, "∀(x)", hay đôi khi chỉ mỗi một chữ “(x)”).